heyting algebras造句

• The relations between heyting algebra and implication algebra with some conditions on a partial ordered set are discussed . then some conditions when a implication algebra is a boolean algebra are given . 3
  系统地研究了偏序集上蕴涵代数与heyting代数之间的关系，得到了蕴涵代数中蕴涵算子的一个较好的条件，并给出了偏序集上蕴涵代数成为布尔代数的一些条件。
• Fuzzy logic is studied with algebraic tools in this paper . a kind of algebraic abstract of fuzzy logic, implication algebra on a partial ordered set, is given . the relations between implication algebra and other algebraic structures, such as mv-algebra and heyting algebra etc ., and the filter and the structure of implication algebra on a partial ordered set are studied
  本文的目的是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的蕴涵代数，研究偏序集上蕴涵代数与其它代数结构，如mv-代数，heyting代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。